Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal
2005-01-01 Armando, Alessandro; Bonacina, M. P.; Ranise, Silvio; Schulz, S.
On the Automated Analysis of Safety in Usage Control: A New Decidability Result
2012-01-01 Ranise, Silvio; Armando, Alessandro
On the collaborative development of application ontologies: a practical case study with a SME
2014-01-01 Rospocher, Marco; Cardillo, Elena; Donadello, Ivan; Serafini, Luciano
Partition Selection Approach for Hierarchical Clustering Based on Clustering Ensemble
2010-01-01 Vega Pons, Sandro; Ruiz Shulcloper, J.
Requirements Analysis in Tropos: a self referencing example
2003-01-01 Bresciani, Paolo; Sannicolò, Fabrizio
SAFARI: SMT-Based Abstraction for Arrays with Interpolants
2012-01-01 F., Alberti; R., Bruttomesso; S., Ghilardi; Ranise, Silvio; N., Sharygina
SAT-based Model-Checking of Security Protocols using Planning Graph Analysis
2003-01-01 Armando, Alessandro; Compagna, L.; Ganty, P.
SATMC: a SAT-based Model Checker for Security Protocols
2004-01-01 Armando, Alessandro; Compagna, L.
SATMC: a SAT-based Model Checker for Security-critical Systems
2014-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, L.
Software Model Checking using Linear Constraints
2004-01-01 Armando, Alessandro; Castellini, C.; Mantovani, J.
The AVISS Security Protocol Analysis Tool
2002-01-01 Armando, Alessandro; Basin, D.; Boullagui, M.; Chevalier, Y.; Compagna, L.; Moedersheim, S.; Rusinowitch, M.; Turuani, M.; Viganò, L.; Vigneron, L.
The dissimilarity representation as a tool for three-way data classification: A 2D measure
2010-01-01 Porro Munoz, Diana; Duin, R. P. W.; Orozco Alzate, M.; Talavera, I.; London Bonilla, J. M.
The {SMT-LIB} Initiative and the Rise of {SMT} - {(HVC} 2010 Award Talk)
2011-01-01 Barrett, C.; de Moura, L.; Ranise, Silvio; Stump, A.; Tinelli, C.
Trust-aware Collaborative Filtering for Recommender Systems
2004-01-01 Massa, Paolo; Avesani, Paolo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal | 1-gen-2005 | Armando, Alessandro; Bonacina, M. P.; Ranise, Silvio; Schulz, S. | |
On the Automated Analysis of Safety in Usage Control: A New Decidability Result | 1-gen-2012 | Ranise, Silvio; Armando, Alessandro | |
On the collaborative development of application ontologies: a practical case study with a SME | 1-gen-2014 | Rospocher, Marco; Cardillo, Elena; Donadello, Ivan; Serafini, Luciano | |
Partition Selection Approach for Hierarchical Clustering Based on Clustering Ensemble | 1-gen-2010 | Vega Pons, Sandro; Ruiz Shulcloper, J. | |
Requirements Analysis in Tropos: a self referencing example | 1-gen-2003 | Bresciani, Paolo; Sannicolò, Fabrizio | |
SAFARI: SMT-Based Abstraction for Arrays with Interpolants | 1-gen-2012 | F., Alberti; R., Bruttomesso; S., Ghilardi; Ranise, Silvio; N., Sharygina | |
SAT-based Model-Checking of Security Protocols using Planning Graph Analysis | 1-gen-2003 | Armando, Alessandro; Compagna, L.; Ganty, P. | |
SATMC: a SAT-based Model Checker for Security Protocols | 1-gen-2004 | Armando, Alessandro; Compagna, L. | |
SATMC: a SAT-based Model Checker for Security-critical Systems | 1-gen-2014 | Armando, Alessandro; Carbone, Roberto; Compagna, L. | |
Software Model Checking using Linear Constraints | 1-gen-2004 | Armando, Alessandro; Castellini, C.; Mantovani, J. | |
The AVISS Security Protocol Analysis Tool | 1-gen-2002 | Armando, Alessandro; Basin, D.; Boullagui, M.; Chevalier, Y.; Compagna, L.; Moedersheim, S.; Rusinowitch, M.; Turuani, M.; Viganò, L.; Vigneron, L. | |
The dissimilarity representation as a tool for three-way data classification: A 2D measure | 1-gen-2010 | Porro Munoz, Diana; Duin, R. P. W.; Orozco Alzate, M.; Talavera, I.; London Bonilla, J. M. | |
The {SMT-LIB} Initiative and the Rise of {SMT} - {(HVC} 2010 Award Talk) | 1-gen-2011 | Barrett, C.; de Moura, L.; Ranise, Silvio; Stump, A.; Tinelli, C. | |
Trust-aware Collaborative Filtering for Recommender Systems | 1-gen-2004 | Massa, Paolo; Avesani, Paolo |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile